Researches programming environment where advanced language concepts and formal development methods are used to make production-quality software. Strongly typed, higher-order, strict, pure FL; so can be classed with ML, Haskell, and other modern FLs. B...

Resource-bounded functional language that uses a form of remote procedure call to realize active networking. Part of the SwitchWare Project. Descriptions, documents, downloads, contacts, links.

An extensible functional programming language based on the term rewriting calculus.

A variety of research resources on functional programming languages, implementation, and applications of functional programming languages.

Member of Eden team. Articles.

General purpose programming language designed to express common programming patterns in a concise, elegant, and type-safe way.

Java extension with functional features: generics (parametric polymorphism), function pointers (first-class (higher-order) functions), class cases and pattern matching (algebraic (data)types).

Brief article, explains what they are, and how and why their popularity is growing; with links and reader comments. Linux Journal.

A functional language designed for obscurity

John Hughes' list of FP-related tutorials and courses.